Improve configuration of makeinfo.
authorWerner Lemberg <wl@gnu.org>
Sun, 23 Jan 2011 10:31:21 +0000 (11:31 +0100)
committerWerner Lemberg <wl@gnu.org>
Sun, 23 Jan 2011 10:31:21 +0000 (11:31 +0100)
commit6914c1c09f0ed81247b4b75b118458d9a6af15ab
tree08b516facf818e151e06a76d1fad27bf08596a0b
parent8e3e927cd432bc7e4790871f1941ec951e80abd9
Improve configuration of makeinfo.

* Makefile.in (MAKEINFO): Now controlled by `configure'.
(MAKEINFO_OPTS): New variable.  Use it where appropriate.
(ENVADD): New variable to control texi2dvi and texi2pdf.
doc/lispintro/ChangeLog
doc/lispintro/Makefile.in